Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
431	R Essentials Christopher Manning 4 November 2007 Here are some collected pointers on some useful things that you should have picked up, but just to make sure that you have. . . . Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-11-26 17:08:13 Abstract algebra Matrix Euclidean vector Array data structure Array data type Algebra Mathematics Linear algebra
432	Using Memory Errors to Attack a Virtual Machine Sudhakar Govindavajhala ∗ Andrew W. Appel Princeton University {sudhakar,appel}@cs.princeton.edu Abstract Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2003-03-06 09:41:50 Java platform Computing platforms Memory management Pointer Java virtual machine Java Native Interface Dynamic random-access memory Type safety ECC memory Computing Computer memory Cross-platform software
433	SciQL, A Query Language for Science Applications M. Kersten, Y. Zhang, M. Ivanova, N. Nes CWI, Netherlands ABSTRACT Scientific applications are still poorly served by contemporary relational database systems. At best, th Add to Reading List Source URL: oai.cwi.nl Language: English - Date: 2012-12-19 06:03:10 Array programming languages APL programming language family Arrays SQL keywords Array data type Array data structure Array slicing Sparse array SQL Computing Software engineering Computer programming
434	Implementing Type Checking with Classes We used to have two records for each class: Class declarations = abstract syntax Class = run-time class information flattened field and method lists Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Type theory Procedural programming languages GNUstep NeXT Objective-C Method C Abstract type Software engineering Computing Computer programming
435	ABS: A Core Language for Abstract Behavioral Specification ? Einar Broch Johnsen1 , Reiner Hähnle2 , Jan Schäfer3 , Add to Reading List Source URL: einarj.at.ifi.uio.no Language: English - Date: 2011-07-05 10:09:24 Type theory Data types Object-oriented programming Functional programming Program analysis Type system Objective-C Polymorphism C Sharp Software engineering Computing Computer programming
436	Technical Report UCAM-CL-TR-569 ISSNNumber 569 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 16:57:58 Type theory Data types Type system Abstraction Abstract data type Type safety ALGOL 68 Programming language Lambda calculus Software engineering Computing Programming language theory
437	Aristotle on [Part of] the Difference between Belief and Imagination Abstract In chapter 3.3 of the De Anima, Aristotle argues for the non-type-identity of belief and imagination, i.e. that belief and imagination are dis Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-10-22 10:05:06 Epistemology Natural philosophy Metaphysicians Social philosophy On the Soul Reason Aristotle Belief Philosophy Knowledge Mind
438	Matrix-form Recursions for a family of compound distributions Xueyuan Wu and Shuanming Li Centre for Actuarial Studies, Department of Economics The University of Melbourne, Australia Abstract Add to Reading List Source URL: fbe.unimelb.edu.au Language: English - Date: 2013-08-05 02:23:09 Probability-generating function Moment-generating function Phase-type distribution Probability density function Complex normal distribution Meijer G-function Mathematical analysis Probability theory Generating functions
439	Phase-Type Distributions for Competing Risks Bo Henry Lindqvist Norwegian University of Science and Technology, Trondheim, NORWAY e-mail: Abstract Add to Reading List Source URL: www.statistics.gov.hk Language: English - Date: 2013-08-22 04:39:21 Regression analysis Statistical models Econometrics Markov chain Phase-type distribution Proportional hazards models Expectation–maximization algorithm Stochastic matrix Gibbs sampling Statistics Markov models Markov processes
440	Beyond the PDP-11: Architectural support for a memory-safe C abstract machine David Chisnall Colin Rothwell Robert N. M. Watson Jonathan Woodruff Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-01-14 18:11:07 Data types C++ Primitive types Type theory C programming language Pointer C Type safety Reference Software engineering Computing Computer programming

UPDATE